| 1. | From petri nets to formal description techniques and protocol engineering
网到形式描述技术和协议工程 |
| 2. | Formal description specification for multi - resolution modeling based on devs formalism
的多分辨率建模形式化描述规范研究 |
| 3. | The oim is a formal description of metadata constructs organized by subject area
Oim是按主题区域组织的元数据构造的正式说明。 |
| 4. | The dissertation extends disco formal description language to precisely describe design pattern
本文扩展了disco形式化描述语言，使其能很好地描述设计模式。 |
| 5. | Alternatively , the model could be processed into a wsdl file - again a formal description of a web service
或者模型被处理成wsdl文件，同样是web服务的正式描述。 |
| 6. | Firstly , a formal description of the cryptographic protocols of tpm is made using svo logic
首先,使用的svo逻辑建立可信平台模块密码学协议的形式化描述,然后进行推理分析。 |
| 7. | Ultimately , the uml model is converted into an xml schema , which is a very formal description of the xml vocabulary
最后， uml模型转化成xml模式，这是xml词汇表非常正式的描述。 |
| 8. | Report elements are part of the report definition language , which provides a formal description of report structure
报表元素是报表定义语言( rdl )的一部分，该报表定义语言提供了报表结构的形式说明。 |
| 9. | A common framework is brought forward to evaluate weapon systems effectiveness , and the formal description for it is given concisely
其中一些因素是客观可测的，更多的因素是主观和无法直接测量的。 |
| 10. | The reference documentation provides a brief overview of each namespace as well as a formal description of each type and its members
此参考文档提供对每个命名空间的简要概述以及对每种类型及其成员的正式说明。 |
